Refocusing Architectural Science

Refocusing Generalised Normalisation

When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisation has to be defined in a “multiary” variant, in which reduction rules are necessarily non-local (reason: nomalisation, like cut-elimination, acts at the head of applicative terms, but natural deduction focuses at the tail of s...

Refocusing in Reduction Semantics

The evaluation function of a reduction semantics (i.e., a small-step operational semantics with an explicit representation of the reduction context) is canonically defined as the transitive closure of (1) decomposing a term into a reduction context and a redex, (2) contracting this redex, and (3) plugging the contractum in the context. Directly implementing this evaluation function therefore yi...

Simultaneous spin-echo refocusing.

A new approach to spin-echo imaging is presented in which the 180 degrees RF pulse refocuses two or more spin-echoes at different positions in the readout period. When simultaneous echo refocusing (SER) is implemented using multiple 180 degrees pulses, an undesirable mixing of stimulated echoes and primary echoes from different slices can occur. A novel periodic gradient spoiler scheme eliminat...

Computer Science at Kent Architectural Description of Dependable Software Systems

COMPUTING SCIENCE Evaluation of Architectural Frameworks Supporting Contract-based Specification

The management and assurance of “systems of systems” (SoSs) are hampered by the difficulty of gaining confidence that a particular architecture of constituent systems will meet a global SoS-level requirement. Research suggests that recording explicit technical contracts at the boundaries between the SoS-constituent systems may help with verification of SoS-level properties, including non-functi...